Acyclicity and reduction
نویسندگان
چکیده
منابع مشابه
Acyclicity and reduction
The literature provides dichotomies involving homomorphisms (like the G0 dichotomy) or reductions (like the characterization of sets potentially in a Wadge class of Borel sets, which holds on a subset of a product). However, part of the motivation behind the latter result was to get reductions on the whole product, like in the classical notion of Borel reducibility considered in the study of an...
متن کاملReduction Strategies and Acyclicity
In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the definition of such strategies is the presence of reduction cycles that may ‘trap’ a strategy as it is memory-free. We exploit a recently (re)discovered fact that there are no reduction cycles in orthogonal rewrite systems when ...
متن کاملOn the Relationship of Joint Acyclicity and Super-Weak Acyclicity
Rules that allow existential quantifiers in the head (conclusion) have been studied extensively in knowledge representation, databases, and logic programming (in the related form of logic programs with function symbols). In general, it is not decidable if a set of such rules admits a finite model, but a number of sufficient conditions have been proposed to detect situations where this is the ca...
متن کاملAcyclicity in Three-manifolds
An acyclic compactum in an orientable, open 3-manifold has arbitrarily close, polyhedral neighborhoods whose components are compact 3-manifolds with a special structure. Frequently, these 3-manifolds have free fundamental groups. These observations and some results from combinatorial group theory are exploited to deduce facts about the homomorphism of fundamental groups induced by an acyclic ma...
متن کاملAcyclicity versus Total Acyclicity for Complexes over Noetherian Rings
It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck’s duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of ac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2019
ISSN: 0168-0072
DOI: 10.1016/j.apal.2018.10.005